(begin
  (define (p x) 3)
  (define (double x) (+ x x))
  (p (double (+ (p 5) 2))))